LaFeAsO1−x_{1-x}Fx_x: A low carrier density superconductor near itinerant magnetism

Density functional studies of 26K superconducting LaFeAs(O,F) are reported. We find a low carrier density, high density of states, $N(E_F)$ and modest phonon frequencies relative to $T_c$. The high $N(E_F)$ leads to proximity to itinerant magnetism, with competing ferromagnetic and antiferromagnetic fluctuations and the balance between these controlled by doping level. Thus LaFeAs(O,F) is in a unique class of high $T_c$ superconductors: high $N(E_F)$ ionic metals near magnetism.Comment: Shortened published form. Typos correcte

q-Deformation of the Krichever-Novikov Algebra

The recent focus on deformations of algebras called quantum algebras can be attributed to the fact that they appear to be the basic algebraic structures underlying an amazingly diverse set of physical situations. To date many interesting features of these algebras have been found and they are now known to belong to a class of algebras called Hopf algebras [1]. The remarkable aspect of these structures is that they can be regarded as deformations of the usual Lie algebras. Of late, there has been a considerable interest in the deformation of the Virasoro algebra and the underlying Heisenberg algebra [2-11]. In this letter we focus our attention on deforming generalizations of these algebras, namely the Krichever-Novikov (KN) algebra and its associated Heisenberg algebra.Comment: AmsTex. To appear in Letters in Mathematical Physic

Testing a system specified using Statecharts and Z

A hybrid specification language SZ, in which the dynamic behaviour of a system is described using Statecharts and the data and the data transformations are described using Z, has been developed for the specification of embedded systems. This paper describes an approach to testing from a deterministic sequential specification written in SZ. By considering the Z specifications of the operations, the extended finite state machine (EFSM) defined by the Statechart can be rewritten to produce an EFSM that has a number of properties that simplify test generation. Test generation algorithms are introduced and applied to an example. While this paper considers SZ specifications, the approaches described might be applied whenever the specification is an EFSM whose states and transitions are specified using a language similar to Z

Equation of state of bismuth to 222 GPa and comparison of gold and platinum pressure scales to 145 GPa

The equation-of-state (EoS) of bcc-bismuth was determined using the Pt pressure scale. Unit cell volumes of Bi, Pt, and Au were also measured simultaneously to megabar pressures by X-ray powder diffraction using a diamond anvil cell and a synchronus radiation source. The results suggest that Au pressure scale gave lower pressure than the Pt pressure scale